| Guillaume Henry < Guillaume Hoffmann < Guillaume J. Laurent | Facettes : |
List of bibliographic references indexed by Guillaume Hoffmann
Number of relevant bibliographic references: 6.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 001475 (2013) | Carlos Areces [Argentine] ; Raul Fervari [Argentine] ; Guillaume Hoffmann [Argentine] | Tableaux for Relation-Changing Modal Logics |
| 002905 (2010-12-13) | Guillaume Hoffmann [France] | Reasoning Tasks for Hybrid Logics |
| 002B92 (2010-07-06) | Carlos Areces [France] ; Guillaume Hoffmann [France] ; Alexandre Denis [France] | Modal Logics with Counting |
| 002E85 (2010) | Guillaume Hoffmann [France] | Lightweight Hybrid Tableaux |
| 004637 (2007-11-29) | Guillaume Hoffmann [France] ; Carlos Areces [France] | HTab: A Terminating Tableaux System for Hybrid Logic |
| 004638 (2007-11-29) | Dmitry Sustretov [France] ; Guillaume Hoffmann [France] ; Carlos Areces [France] ; Patrick Blackburn [France] | Experiments in Theorem Proving for Topological Hybrid Logic |
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Main/Exploration
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i -k "Guillaume Hoffmann"
HfdIndexSelect -h $EXPLOR_AREA/Data/Main/Exploration/Author.i \
-Sk "Guillaume Hoffmann" \
| HfdSelect -Kh $EXPLOR_AREA/Data/Main/Exploration/biblio.hfd
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Main
|étape= Exploration
|type= indexItem
|index= Author.i
|clé= Guillaume Hoffmann
}}
| This area was generated with Dilib version V0.6.33. |  |